logical assertionの例文

例文

もっと例文:   1  2

1. A sequent of this form, with ? empty, is known as a logical assertion.
2. It is a logical assertion that is held to always be true during a certain phase of execution.
3. A significant achievement was pioneering the field of program verification using logical assertions with the 1967 paper " Assigning Meanings to Programs ".
4. This isn't even a logical assertion, it's an opinion . talk ) 03 : 06, 4 March 2013 ( UTC)
5. It belies the logical assertion of the Principle of Bivalence and stands in contrast to some rigid Biblical hermeneutics that suggest that each passage of scripture has only one, usually teleological, interpretation.